Deontic logic for the specification of system availability
نویسنده
چکیده
We study the specification and the verification of availability policies. We first introduce the availability concept, and then deontic logic. Next we present some investigations about mixing temporal and deontic aspects, in order to specify both availability policies and system behavior. In the last part we focus on the verification of availability, especially using the UPPAAL tool for an illustrating example. keywords: deontic logic, availability, temporal logic, model checking
منابع مشابه
A Functional Program for Agents, Actions, and Deontic Specifications
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abstract actions relative to deontic specifications. The deontic specifications are prohibition, permission, and obligation. The concepts of deontic specifications are derived from Standard Deontic Logic and Dynamic Deont...
متن کاملUsing Role-based Abstractions for Security Policy Specification with Deontic Logic
This paper presents the use of role-based notions in the formal specification of a security policy. The formal method used is based on deontic logic, a logical formalism that seems particularly adapted for the specification of security properties. An outline of the main characteristics of this formalism and of the graphical notation used is presented through examples. The use of role-based abst...
متن کاملRoles, Counts-as and Deontic and Action Logics
• J. Carmo and O. Pacheco, “Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles”, Fundamenta Informaticae, Special Issue on Deontic Logic in Computer Science, Vol 48, Numbers 2,3, pp. 129-163, 2001 • O. Pacheco and J. Carmo, “A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction”, Journa...
متن کاملThe Role of Deontic Logic in the Specification of Information Systems
In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called ‘soft’ constraints). To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance...
متن کاملActor-Oriented System Specification with Dynamic Logic
In this paper, we extend dynamic logic with the concept of an actor in order to be able to specify who takes the initiative of an action, who makes a choice, or who controis a synchronization of actions. We give two examples of application of this idea. First, we show how to generalize an approach taken up by De Nicola and Hennessy, who eliminate '~ from CCS in favor of internal and external ch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005